Nonconjugate Pointed Generalized Solenoids with Shift Equivalent Π1-actions
نویسنده
چکیده
Going back to the pioneering work of R. F. Williams, it has been widely believed that if elementary presentations (Ki, fi), i = 1, 2, satisfy the Williams axioms and fix the branch points, then there is a pointed conjugacy r : (lim ←−1 f1), y1) → (lim ←−2 f2), y2) between the natural shift maps f1 and f2 if and only if the fundamental group homomorphisms π1(f1, y1) and π1(f2, y2) are shift equivalent. The “only if” direction is true. We prove that the “if” direction goal of this belief is false by exhibiting a family of counterexamples not previously analyzed. Of course, the associated hyperbolic attractors constructed by R. F. Williams cannot be conjugate in these exceptional cases. A presentation is a mapping pair (K, f) such that f : K → K is a continuous endomorphism of a graph K, with inverse limit space lim ←− whose shift map f is conjugate to the given homeomorphism on S, a generalized solenoid. Williams showed (in [5, Theorem 3.3]) that two shift maps f1 and f2, on presentations (K1, f1) and (K2, f2), are topologically conjugate if and only if the maps f1 and f2 are shift equivalent. He was able to show further that shift equivalence is equivalent to “strong shift equivalence” in the category of maps on branched 1-manifolds satisfying the Williams axioms (see [2] or Axioms 2.1 in [5]). This reduces checking shift equivalence to seeking a sequence of “elementary” (or lag 1) shift equivalences. Williams attempted to link the shift equivalence of pointed presentations (corresponding to pointed conjugacy classes of shifts f : (lim ←− f), x) → (lim ←− f), x), x = (x, x, . . . ) to the shift equivalence of π1 representations. Williams defines the shift class S(f, x) of f to be the shift equivalence class of π1(f, x) : π1(K,x) → π1(K,x). A presentation (K, f) is elementary if K is a wedge of circles and f fixes the branch point y of K. For some time, it has been generally believed (e.g. [5, (7.3)], [4, (e.g. Remark 4.16)] and [2, (“Theorem”)]) that if elementary presentations (Ki, fi), i = 1, 2, satisfy the Williams axioms and fi(yi) = yi, i = 1, 2, then there is a pointed conjugacy r : (lim ←−1 f1), y1) → (lim ←−2 f2), y2) of f1 with f2 if and only if the fundamental group homomorphisms π1(f1, y1) and π1(f2, y2) are shift equivalent. One goal of this paper is to show that this belief is Received by the editors November 20, 2010 and, in revised form, April 11, 2001 and April 17, 2011. 2010 Mathematics Subject Classification. Primary 37B10, 37B45, 37B50; Secondary 37B99, 05C20. c ©2012 American Mathematical Society Reverts to public domain 28 years from publication 3581 Licensed to Penn St Univ, University Park. Prepared on Fri Jul 5 08:46:32 EDT 2013 for download from IP 130.203.136.75. License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use 3582 RICHARD SWANSON false. The existence of such an example, mentioned without details, was asserted in [3]. The author would like to thank M. Barge for helpful conversations. Remark. A crucial element here is that the pointed conjugacy must preserve the fixed points corresponding to branch points of the wedge of circles. Theorem 1. There exists a pair of elementary presentations, preserving branch points and satisfying the Williams axioms, having nonconjugate pointed shift maps yet whose fundamental group endomorphisms are strong shift equivalent. Proof. Consider the presentations given by the wrapping rules ψ : ⎪⎨⎪⎩ a → abbbbc b → abc c → ac φ : { a → aabbbb b → ab that generate pointed graph maps f = fψ : (K3, p) → (K3, p) and g = gφ : (K2, q) → (K2, q), where K3 is a wedge of 3 circles, K2 of 2 circles and p, q are the branch points. In the proof of Proposition 4.7 of [2], we prove that there is no shift equivalence (r, s) between these maps such that r(p) = q. That is, there is no conjugacy of f with g that takes p to q. However, there is an explicit shift equivalence of lag 3 between the group endomorphisms π1(f, p) and π1(g, q): ρ : ⎪⎨⎪⎩ a → b−1abbbbababababab b → b−1abbbbabab c → b−1abbbbab σ : { a → c−1bcacabbbc b → c−1bcac That is, φ = ρ ◦ σ and ψ = σ ◦ ρ. This is nontrivial to check directly, and, indeed, the author derived the connecting maps by computing products ρ = ρ3ρ2ρ1 and σ = σ1σ2σ3 (see below). Thus, this is a strong shift equivalence, because it passes through a series of 3 elementary (lag 1) shift equivalences that are considerably easier to establish. φ : { a → aabbbb b → ab ρ3 σ3 φ1 : { a → abbbb b → bab ρ2 σ2 φ̂ : { a → abbbba b → ba ρ1 σ1 ψ : ⎧⎪⎨ ⎪⎩ a → abbbbc b → abc c → ac ρ3 : { a → b−1abbbb b → ab ρ2 : { a → ab b → b ρ1 : ⎧⎪⎨ ⎪⎩ a → abbbb b → ab c → a σ3 : { a → ba b → b σ2 : { a → abbb b → ba σ1 : { a → ac b → c−1bc In this second part of the proof we must show that the shift maps f and g are not conjugate by a conjugacy that preserves the branch points. The easiest way to do this is to use the theorem of Williams that asserts it suffices to show the graph maps f and g are not shift equivalent. As in [2], we can rule out such a graph shift equivalence by showing that there is no symbolic substitution σ that extends to carry the (unique) fixed word wφ of the substitution φ over to the fixed word wψ Licensed to Penn St Univ, University Park. Prepared on Fri Jul 5 08:46:32 EDT 2013 for download from IP 130.203.136.75. License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use GENERALIZED SOLENOIDS WITH SHIFT EQUIVALENT π1-ACTIONS 3583 of ψ. These bi-infinite words are unique, since the substitutions are proper (e.g. [1]): wφ = · · · ab.ab · · · and wψ = · · · ac.abbbbc . . . . The substitution σ can be assumed to be orientation-preserving with the right fixed word σ : wφ = a b · · · → w+ψ = abbbbc · · · . Claim. w+ψ does not have a repeated prefix uu = σ(a)σ(a). Proof of Claim. Let u be the prefix of least length that is repeated in w+ψ. The word u begins with a. The only pairs that can occur in the fixed word are ab, ac, bc, and ca. Thus the last letter of u must be c. This means that u is the image of a prefix v of w+ψ. Now ψ stretches words by the factor λ = 3.56 . . . . So v is a repeated prefix shorter than u, contradicting our assumption. It is worth examining the fundamental group shift equivalence constructed above. Call it σ̃. Then σ̃(a) = ( c−1(bcacabbb)c )2 = c−1(bcacabbb)2c. The result does have a repeated prefix taking the form of a conjugate in the fundamental group. Iterates by ψ of c−1x for any word x starting with a or b converge to the same infinite fixed word. If x is empty, we get the unique orientation-reversed fixed word: limψn(c−1), derived from the generators {a−1, b−1, c−1}. 1. Ways to move the base point A key to understanding examples as in the preceding section is the concept of moving the base point. Roughly, this means that in a graph presentation of a solenoid, we do two things. Let p denote a branch point and x a fixed point not equal to the branch point. The solenoid would have fixed points x = (x, x, . . . ) and p = (p, p, . . . ). We consider loops in the graph that exit from and return to x. We iterate the graph map on these loops to find an invariant set of labeled generating loops. Next we replace the graph by a bouquet of circles with each circle corresponding exactly to one of the labeled return loops to the fixed point. There is an induced endomorphism on this latter graph. That is, the fixed point is now, symbolically, the branch point and the original branch point becomes a fixed point. Given an elementary presentation of a Williams solenoid as the inverse limit of a graph endomorphism, there seem to be two different ways to move the base point, or branch point, if you like, to obtain a new elementary presentation. (a) One can move the point topologically via an orientation-preserving return rewriting, which does not change the homeomorphism type of the solenoid (e.g. [1], [2]). (b) One can move the base point algebraically via a path conjugacy followed by homotopy cancellations. This may change the topology of the induced solenoid, because of the cancellations. We want to describe these procedures in a little more detail. Licensed to Penn St Univ, University Park. Prepared on Fri Jul 5 08:46:32 EDT 2013 for download from IP 130.203.136.75. License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use 3584 RICHARD SWANSON 1.1. Moving the branch point topologically. Split the loop ai as the composite ai = b1 ·b2 of an arc b1 from p to x and b2 from x to p, each oriented the same as ai. Now we replace the alphabet A with the (finite) return word alphabet Bx = {Bk} derived as follows: The image fφ(b2b1) must factor uniquely into words of the form Ak = b2wkb1 provided we break at every occurrence of the subword b1b2. In a similar fashion, the image of each Bk factors into words Akj = b2wkjb1. Keep iterating on any new return words that appear. This process must stop (e.g. [1]) with a unique finite collection of words Bk = b2ukb1 that form the alphabet for a unique substitution. It is not our main object here, but we observe that the tiling space based on this induced substitution in the alphabet Bx is homeomorphic to the original tiling space ([1]). A more general class of so-called rewritings of a substitution, called “starting and stopping rules”, is analyzed in [1]. The solenoids based on A and Bx are homeomorphic to each other and to the tiling spaces if the original substitution satisfies the Williams axioms (stronger than needed [2]). The tiling space homeomorphism is actually a flow equivalence of the translation flow on the tiling space. 1.2. Moving the branch point algebraically. Theorem 2. Suppose f and g are elementary presentations with branch points p and q that follow the pattern of φ = π1(f, p) and ψ = π1(g, q). Suppose also that g is obtained by moving the base point p of φ topologically to a fixed point x and f̂ is obtained by moving the base point algebraically to x. Then φ̂ = π1(f̂ , p̂) and ψ = π1(g, p) (p is the branch point of the wedge of circles that g acts on) are shift equivalent free group endomorphisms. Proof. We prove this for two symbols, as the general proof is an inductive extension. Given a primitive substitution morphism φ acting on the letters a and b, cut the loop a = a1a2 at a fixed point of the map f that follows the pattern of φ on a wedge of two circles. Algebraically rewrite with loops â = a−1 1 aa1 and b̂ = a −1 1 ba1 (allow homotopy canceling of paths). This produces a substitution morphism in the letters â and b̂ . It is easy to check that the substitution φ̂ can always be obtained by “cycling” φ(a) and φ(b) (move the first letter to the last position in each of those words, then put a hat on them). Now rewrite, cutting a = a1a2 at the fixed point. These loops have the form a2b a1, where b 0 is ignored. Let ψ denote the return substitution (or [start, stop]= [a2,a1]) to a2 in the fixed word starting with a2. We can associate B0 = A = a2a1 with the path-conjugate word â and, in general, the return word to the cut given by Bk = a2b a1 corresponds to âb̂ . For ease in reading, unhat the hatted letters. This is one direction ρ of an elementary shift equivalence: ρ(Bk) = ab . Of course, we may not need very many of the symbols Bk (see example that follows). The morphism ρ never reverses directions. We need to solve for the morphism σ having the following properties: σρ(B0) = σ(a) := ψ(B0), σ(ρ(B1) = σ(ab) = ψ(B0)σ(b) = ψ(B1) =⇒ σ(b) = ψ(B−1 0 B1), φ̂ρBk = φ̂(ab ) = φ̂a(φ̂(b)) = ρψ(Bk). It is the definition of σ that can yield a morphism with conjugates and results in a fundamental group shift equivalence that is not a semigroup shift equivalence. Licensed to Penn St Univ, University Park. Prepared on Fri Jul 5 08:46:32 EDT 2013 for download from IP 130.203.136.75. License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use GENERALIZED SOLENOIDS WITH SHIFT EQUIVALENT π1-ACTIONS 3585 Let us illustrate Proposition 2 with the semigroup endomorphism φ defined in Theorem 1. We notice that the induced graph endomorphism f = fφ has a fixed point in loop a. Split a at the fixed point x such that a = a1a2. This induces wrapping rules f(a1) = a1a2a1 and f(a2) = a2bbbb. Maintaining orientation, we iterate on loops starting at x and factor them: f(a2a1) = a2b a1a2a1 = (a2b a1)(a2a1), f(a2b a1) = a2b a1a2ba1a2ba1a2ba1a2ba1a2a1 = (a2b a1)(a2ba1)(a2ba1)(a2ba1(a2ba1)(a2a1), f(a2ba1) = a2b a1a2ba1a2a1 = (a2b (a1a2ba1)(a2a1). We rewrite the wrapping rules based on the new loops a = a2bbbba1, b = a2ba1 and c = a2a1 to obtain ψ̃ : ⎪⎨⎪⎩ a → abbbbc b → abc c → ac. Now this ψ̃ has a different ordering of symbols from the substitution ψ obtained in the proof of the theorem above, which is why a tilde is necessary. We will take care of this discrepancy below. This is a topological rewriting that moves the base point and preserves orientation. An algebraic way to rewrite the morphism φ is to move the base point by a conjugacy rather than a return map. So with a1 and a2 as above, we let â = a −1 1 aa1 and b̂ = a−1 1 ba1. Iterate f on these algebraic loops and allow homotopy cancellation: π1(f)(â) = π1(f)(a2a1) = a2b a1a2a1 ∼ a−1 1 abaa1 ∼ âb̂b̂b̂b̂â, π1(f)(b̂) ∼ a−1 1 baa1 ∼ b̂â. Now replace â and b̂ by a and b. This is just the substitution φ̂ given above. The previous argument shows that there is free group shift equivalence between the π1 presentations of φ̂ and ψ. This is given by the pair ρ1 and σ1 in the foregoing proof. Notice that the morphism σ1 is not a semigroup morphism. It requires a temporary reversal of order as b maps to its conjugate by c. That is a general fact, which underlies the possibility of examples such as φ and ψ. Following the algorithm of the proof above, ρ(Bk) = ab k and, hence, σρ(B0) = σ(a) = ψ(B0) = B4B0, σρ(B1) = σ(ab) = σ(a)σ(b) = B4B0σ(b) = ψ(B1) = B4B1B0. So σ(b) = B−1 0 B1B0 and letting a = B4, b = B1, c = B0 yields the connecting morphisms σ1 and ρ1 in the proof of Theorem 1. Licensed to Penn St Univ, University Park. Prepared on Fri Jul 5 08:46:32 EDT 2013 for download from IP 130.203.136.75. License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use 3586 RICHARD SWANSON 2. Examples and a question It is not hard to see that moving the base point two different ways yields a family of examples similar to Theorem 1. These would have the form ψ : ⎪⎨⎪⎩ a → abc b → abc c → ac φ : { a → aab b → ab φ̂ : { a → aba b → ba . We also have the example ψ : ⎪⎨⎪⎩ a → abc b → abbc c → ac φ : { a → aab b → abb φ̂ : { a → aba b → bba , where the wrapping rules, ψ and φ̂, are obtained from φ by, respectively, moving the base point topologically and algebraically. This time the substitutions ψ and φ are not even shift equivalent over the fundamental groups. Question. In Theorem 1, there is a conjugacy between the shift maps f and g. It just does not preserve the branch point. This leaves the following question open: Is it possible, in the context of elementary presentations satisfying the Williams axioms, to have π1(f1, y1) shift equivalent to π1(f2, y2), while f1 is not conjugate to f2?
منابع مشابه
Homogeneous Weak Solenoids
A (generalized) weak solenoid is an inverse limit space over manifolds with bonding maps that are covering maps. If the covering maps are regular, then we call the inverse limit space a strong solenoid. By a theorem of M.C. McCord, strong solenoids are homogeneous. We show conversely that homogeneous weak solenoids are topologically equivalent to strong solenoids. We also give an example of a w...
متن کاملK-theory of C-algebras from One-dimensional Generalized Solenoids
We compute the K-groups of C-algebras arising from one-dimensional generalized solenoids. The results show that Ruelle algebras from one-dimensional generalized solenoids are one-dimensional generalizations of Cuntz-Krieger algebras.
متن کاملar X iv : m at h / 99 11 14 3 v 1 [ m at h . D S ] 1 8 N ov 1 99 9 CANONICAL SYMBOLIC DYNAMICS FOR ONE - DIMENSIONAL GENERALIZED SOLENOIDS
We define canonical subshift of finite type cover for Williams' 1-dimensional generalized solenoids, and use resulting invariants to distinguish some closely related solenoids.
متن کاملEmbedding Solenoids
A generalized solenoid is an inverse limit space with bonding maps that are (regular) covering maps of closed compact manifolds. We study the embedding properties of solenoids in linear space and in foliations. A compact and connected topological space is called a continuum. A space X is homogeneous if for every x, y ∈ X there exists a homeomorphism h : X → X such that h(x) = y. The space is bi...
متن کاملEnumerations of Pi10 Classes: Acceptability and Decidable Classes
A Π1 class is an effectively closed set of reals. One way to view it is as the set of infinite paths through a computable tree. We consider the notion of acceptably equivalent numberings of Π1 classes. We show that a permutation exists between any two acceptably equivalent numberings that preserves the computable content. Furthermore the most commonly used numberings of the Π1 classes are accep...
متن کامل